Skip to content

CI: trigger per-commit workflow on labeled PRs#62

Merged
dannywillems merged 2 commits into
mainfrom
fix/ci-per-commit-pr-trigger
Mar 16, 2026
Merged

CI: trigger per-commit workflow on labeled PRs#62
dannywillems merged 2 commits into
mainfrom
fix/ci-per-commit-pr-trigger

Conversation

@dannywillems

Copy link
Copy Markdown
Contributor

Summary

  • Add pull_request trigger to the per-commit CI workflow
  • On PRs, check labels directly from the event context
  • On push to main, keep the existing API lookup for the originating PR

Test plan

  • Add ci:per-commit label to this PR, verify the workflow runs
  • Verify it still works on push to main after merge

@dannywillems dannywillems added the ci:per-commit Run CI on every commit pushed to main from this PR label Mar 16, 2026
@dannywillems
dannywillems force-pushed the fix/ci-per-commit-pr-trigger branch from a739eb9 to 33383c3 Compare March 16, 2026 16:12
@dannywillems dannywillems added ci:per-commit Run CI on every commit pushed to main from this PR and removed ci:per-commit Run CI on every commit pushed to main from this PR labels Mar 16, 2026
@dannywillems
dannywillems force-pushed the fix/ci-per-commit-pr-trigger branch from 33383c3 to cd5b270 Compare March 16, 2026 16:16
…esting

Install gsed on macOS runners. Use Makefile targets instead of raw
commands in both action.yml and the per-commit workflow. Add sequential
per-commit testing triggered by the ci:per-commit label.
@dannywillems
dannywillems force-pushed the fix/ci-per-commit-pr-trigger branch from cd5b270 to 265fec6 Compare March 16, 2026 16:18
@dannywillems dannywillems added ci:per-commit Run CI on every commit pushed to main from this PR and removed ci:per-commit Run CI on every commit pushed to main from this PR labels Mar 16, 2026
@dannywillems
dannywillems merged commit 52560b3 into main Mar 16, 2026
20 checks passed
@dannywillems
dannywillems deleted the fix/ci-per-commit-pr-trigger branch July 18, 2026 13:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci:per-commit Run CI on every commit pushed to main from this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant